Influenzavirus-Interaktionen mit der Wirtszelle: Eine unheilvolle Begegnung

Eine Verallgemeinerung der Überwachersynthese mit Hilfe des μ-Kalküls

A Generalization of Supervisor Synthesis based on the μ-Calculus The present work deals with the specification and implementation of systems with discrete state spaces. This large class of systems encompasses, for example, information processing systems, which play an important role in modern life. The dynamics of these systems include concurrent processes, and concurrency can give rise to stat...

Eine Werkzeuginfrastruktur zur agilen Entwicklung mit der UML-P

One of the most promising approaches for handling the increasing complexity of software development projects is the abstraction using modeling for which the UML has been established during the last years. With the UML/P this rather heavyweight and partly redundant family of modeling languages got reduced to essential core notations and optimized according to the requirements of agile, model-dri...

Lernen mit Smartphones an der Georgia-Augusta - eine Zwischenbilanz

Die Georg-August-Universität Göttingen als traditionelle Präsenzuniversität öffnet sich zunehmend dem Thema mobiles Lernen. Mit dem Audience Response System mVote und der Lernapp GöTours werden den Lehrenden zwei neue Eigenentwicklungen angeboten, die eine Vielzahl an interessanten, ortsungebundenen didaktischen Konzepten für die Lehre ermöglichen. Der Artikel spiegelt den derzeitigen Stand der...

Charakterisierung der Stärke und Richtung von Interaktionen zwischen dynamischen Systemen mit Zellularen Neuronalen Netzen

die kotamination der gewässer mit pestiziden eine gefahr für den menschen

0